Ident. | Authors (with country if any) | Title |
---|
000793 |
Philippe De Groote [France] | Proof-Theoretic Aspects of the Lambek-Grishin Calculus |
000796 |
Philippe De Groote [France] | On Logical Relations and Conservativity |
000814 |
Philippe De Groote [France] | Abstract Categorial Parsing as Linear Logic Programming |
000873 |
Philippe De Groote [France] ; Yoad Winter [France] | A type-logical account of quantification in event semantics |
000894 |
Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France] | A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars |
001339 |
Philippe De Groote [France] ; Makoto Kanazawa | A Note on Intensionalization |
001C86 |
Philippe De Groote [France] ; Mark-Jan Nederhof | Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers |
001F52 |
Chris Blom ; Philippe De Groote [France] ; Yoad Winter ; Joost Zwarts | Implicit Arguments: Event Modification or Option Type Categories? |
002520 |
Philippe De Groote [France] ; Markus Egg ; Laura Kallmeyer | Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers |
002535 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar |
002A98 |
Philippe De Groote [France] ; Ekaterina Lebedeva [France] | Presupposition Accommodation as Exception Handling |
004652 |
Philippe De Groote [France] ; Sarah Maarek [France] | Type-theoretic extensions of Abstract Categorial Grammars |
004C14 |
Philippe De Groote [France] ; Sarah Maarek [France] ; Ryo Yoshinaka [France] | On Two Extensions of Abstract Categorial Grammars |
006614 |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-order Matching in the Linear lambda-calculus with Pairing |
006754 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] | On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms |
006B91 |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-Order Matching in the Linear λ -calculus with Pairing |
006C86 |
Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vector addition tree automata |
006D32 |
Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vertor Addition Tree Automata |
007242 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] | m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars |
007248 |
Sylvain Salvati [France] ; Philippe De Groote [France] | On the complexity of higher-order matching in the linear $\lambda$-calculus |
007A17 |
Sylvain Salvati [France] ; Philippe De Groote [France] | On the Complexity of Higher-Order Matching in the Linear λ-Calculus |
008829 |
Philippe De Groote [France] ; François Lamarche [France] | Classical Non-Associative Lambek Calculus |
008900 |
Philippe De Groote [France] | On the strong normalisation of intuitionistic natural deduction with permutation-conversions |
008C77 |
Philippe De Groote [France] | Towards abstract categorial grammars |
009276 |
Philippe De Groote [France] | Strong Normalization of Classical Natural Deduction with Disjunction |
009434 |
Philippe De Groote [France] | Towards abstract categorial grammars |
009564 |
Guillaume Bonfante [France] ; Philippe De Groote [France] | Stochastic Lambek Categorial Grammars |
009628 |
Philippe De Groote [France] ; Glyn Morrill ; Christian Retoré | Logical Aspects of Computational Linguistics |
009E42 |
Philippe De Groote [France] | Proof-Search in Implicative Linear Logic as a Matching Problem |
009E72 |
Philippe De Groote [France] | Linear Higher-Order Matching Is NP-Complete |
00A160 |
Philippe De Groote [France] | Proof-search in implicative linear logic as a matching problem |
00A172 |
Philippe De Groote [France] ; Catherine Pilière [France] | On the semantics of static exception handling |
00A191 |
Philippe De Groote [France] | Linear higher-order matching is NP-complete |
00A358 |
Philippe De Groote [France] | The Non-associative Lambek calculus with product in polynomial time |
00A857 |
Philippe De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
00A919 |
Philippe De Groote [France] | The Non-associative Lambek Calculus with Product in Polynomial Time |
00A956 |
Philippe De Groote [France] | On the Strong Normalization of Natural Deduction with Permutation-Conversions |
00AA65 |
Philippe De Groote [France] | A Dynamic Programming Approach to Categorial Deduction |
00AC67 |
Philippe De Groote [France] ; Catherine Pilière [France] | On the semantics of static exception handling |
00AC69 |
Philippe De Groote [France] | On the Strong Normalisation of Natural Deduction with Permutation-Conversions |
00AD62 |
Philippe De Groote [France] | A dynamic programming approach to categorial deduction |
00AF08 |
Philippe De Groote [France] | An environment machine for the $\lambda\mu$-calculus |
00B405 |
Philippe De Groote [France] ; Guy Perrier [France] | A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic” |
00B482 |
Philippe De Groote [France] ; Catherine Pilière [France] | Preuve de confluence de $\lambda_{exn}$ |
00BC59 |
Denis Bechet [France] ; Philippe De Groote [France] | Constructing different phonological bracketings from a proof net |
00BC78 |
Philippe De Groote [France] | An algebraic correctness criterion for intuitionistic proof-nets |
00BC88 |
Denis Bechet [France] ; Philippe De Groote [France] ; Christian Retoré [France] | A complete axiomatisation for the inclusion of series-parallel partial orders |
00C153 |
Philippe De Groote [France] ; Christian Retoré [France] | On the semantic readings of proof-nets |
00C740 |
Philippe De Groote [France] | Linear logic with isabelle: Pruning the proof search tree |
00C793 |
Philippe De Groote [France] | A simple calculus of exception handling |
00CC83 |
Philippe De Groote [France] | Strong normalization in a non-deterministic typed lambda-calculus |
00CD06 |
Philippe De Groote [France] | On the relation between the λ μ -calculus and the syntactic theory of sequential control |
00CD68 |
Philippe De Groote [France] | A CPS-translation of the λμ-calculus |
00D202 |
Philippe De Groote [France] | Defining λ-typed λ-calculi by axiomatizing the typing relation |